COMMENT ⊗   VALID 00003 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	  1) MACROS[J,RED] and 2) MACROS[LSP,JRA]	5-19-79 07:43	pages 1,1
C00005 00003	  1) MACROS[J,RED] and 2) MACROS[LSP,JRA]	5-19-79 07:43	pages 2,2
C00008 ENDMK
C⊗;
  1) MACROS[J,RED] and 2) MACROS[LSP,JRA]	5-19-79 07:43	pages 1,1

**** File 1) MACROS[J,RED], Page 1 line 5
1)	C00005 00003	.comment
1)	C00007 ENDMK
**** File 2) MACROS[LSP,JRA], Page 1 line 5
2)	C00005 00003	.LAST USED LABEL IS P293:
2)	C00007 ENDMK
***************


**** File 1) MACROS[J,RED], Page 2 line 2
1)	.FONT 1 "baxl30";		<<normal font>>
1)	.FONT 2 "BAXB30";		<<headings>>
1)	.FONT 3 "BAXI30[j,red]"	<<mexpr font:basi30+>>
1)	.FONT 4 "SUB";			<<subscripts>>
1)	.FONT 5 "set1"			<<for meta vars in denotational crap>>
1)	.FONT 6 "NGR20";		<< font for sups & subs>>
1)	.FONT 7 "grk30"	
1)	.FONT 8 "SUP";			<<superscripts>>
1)	.FONT 9 "SPEC[j,red]"		<<spcial chrs. sigma under S, cse under x,delta under D>>
1)	.<<				  prime under prime, pi under p>>
1)	.<< 				  baxi30≠ under %9≠>>
**** File 2) MACROS[LSP,JRA], Page 2 line 2
2)	.IF TENPOINT THEN START
2)	.FONT 1 "metS";		<<normal font>>
2)	.FONT 2 "metSb";		<<headings and new terms>>
2)	.FONT 6 "metSi";		<< font for emphasis>>
2)	.END
2)	.ELSE START
2)	.FONT 1 "BASL30";		<<normal font>>
2)	.FONT 2 "BASB30";		<<headings>>
2)	.FONT 6 "ASI30.FNT[LSP,JRA]";		<< font for emphasis>>
2)	.END
2)	.FONT 3 "ASI30.FNT[LSP,JRA]"	<<mexpr font:basi30+>>
2)	.FONT 4 "SUB";			<<subscripts>>
2)	.<<FONT 5 "ASI30.FNT[LSP,JRA]"	<<font of wide mexpr defns>>
2)	.FONT 5 "set1"			<<for meta vars in denotational crap>>
2)	.FONT 7 "grk30"	
2)	.FONT 8 "SUP";			<<superscripts>>
2)	.FONT 9 "SPEC[LSP,JRA]"		<<spcial chrs. sigma under S, cse under x,delta under D>>
2)	.<<				  composition under ⊗, pi under p>>
2)	.<< 				  baxi30≠ under %9≠>>
***************


**** File 1) MACROS[J,RED], Page 2 line 16
1)	.FONT a "bdr40";		<<chapter titles and numbers>>
1)	.FONT b "math30"	        <<provability under r>>
1)	.<<FONT c "FIX30";		<<for ∧ and ≡>>
  1) MACROS[J,RED] and 2) MACROS[LSP,JRA]	5-19-79 07:43	pages 2,2

1)	.FONT c "metsb";		<<for running heads and extraneous junk>>
1)	.FONT d "NONMBI";	  	<<for mapping identifiers>>
1)	.FONT e "GERM35";		<<for true and false>>
**** File 2) MACROS[LSP,JRA], Page 2 line 24
2)	.FONT a "buck75";		<<chapter titles and numbers>>
2)	.FONT b "grfx25[LSP,JRA]"	<<box notation>>
2)	.<<FONT c "FIX30";		<<for ∧ and ≡>>
2)	.FONT c "metsb";		<<for running heads and extraneous junk>>
2)	.FONT d "NGB30";		<<for denotational semantics>>
2)	.FONT e "GERM35";		<<for true and false>>
***************


**** File 1) MACROS[J,RED], Page 2 line 27
1)	.<<				  composition under O>>
1)	.				 << scott brackets under ( and ) >>
1)	.FONT g "zero30"		
1)	.comment
1)	.LAST USED LABEL IS P17:
1)	.;
**** File 2) MACROS[LSP,JRA], Page 2 line 35
2)	.				 << scott brackets under ( and ) >>
2)	.FONT g "grfx35"		<<yet another attempt at trees>>
2)	.COMMENT 
2)	.
2)	.TREE.FNT CONTAINS:
2)	.G gc marker. A AC pointer. α atom header.~ upper and lower box.
2)	. [ left end. ] right end. NIL. / and \
2)	.LAST USED LABEL IS P293:
2)	.;
***************


**** File 1) MACROS[J,RED], Page 3 line 55
1)	.at NULL ⊂IF  FILLING THEN START skip spread-1;ONCE INDENT PAR;END
1)	.         ELSE SKIP spread-1⊃
**** File 2) MACROS[LSP,JRA], Page 3 line 54
2)	.at NULL ⊂IF  FILLING THEN START ONCE INDENT PAR;END
2)	.         ELSE SKIP 1⊃
***************